_eqfield       
               
                       
_eqseq    
_eqcond  
_notdesc  
_w  
_incontext      
_notchange_  -      
_globalchange_  -     
_newframe_         (   ) 
_par_      _   
_cond_  _    
_const_  
_addef_  ,  ..              ()


_adddef_monotone_    
_adddef_passmonotone_     -
_changeform_    ()
{
a function
1_notdesc '>>a&&b>>a_0_0'
4/1_arg_f_fIncludingObject_ a&&b
4/2_w_callf(_ selectobject
4/3_arg -4/1_arg_fIncludingObject_
4/4_w_par__callf)_ result '---'
4/5_x -4/4_w_par__callf)_ result
4/6_y -4/1_arg_fIncludingObject_
8_sym '>>'
   